COMMENT ⊗   VALID 00023 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	.s EXTERNAL PUBLICATIONS
C00005 00003	Agin, Gerald J., Thomas O. Binford, "Computer Description of
C00007 00004	Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
C00013 00005	Cadiou, Jean M., Zohar Manna, "Recursive Definitions of Partial
C00019 00006	Dobrotin, Boris M., Victor D. Scheinman, "Design of a Computer
C00020 00007	Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
C00021 00008	Falk, Gilbert, "Scene Analysis Based on Imperfect Edge Data", <Proc.
C00026 00009	Garland, Stephan J., David Luckham, "Translating Recursive Schemes
C00028 00010	Hearn, Anthony, "Computation of Algebraic Properties of Elementary
C00031 00011	Ito, T., "Note on a Class of Statistical Recognition Functions",
C00032 00012	Kahn, Michael, Bernard Roth, "The Near-minimum-time Control of Open-loop
C00035 00013	Lederberg, Joshua, "Hamilton Circuits of Convex Trivalent Polyhedra",
C00038 00014	Manna, Zohar, "Properties of Programs and the First Order
C00048 00015	Nevatia, Ramakant, Thomas O. Binford, "Structured Descriptions
C00049 00016	Paul, Richard, G. Falk, Jerome Feldman, "The Computer
C00051 00017	Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
C00052 00018	Reddy, D. Raj., "Segmentation of Speech Sounds", <J. Acoust. Soc.
C00054 00019	Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, J. Lederberg,
C00063 00020	Tenenbaum, Jay, et al, "A Laboratory for Hand-eye Research",
C00064 00021	Waterman, Donald, "Generalization Learning Techniques for Automating
C00069 00022	Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
C00070 00023	.end
C00071 ENDMK
C⊗;
.s EXTERNAL PUBLICATIONS
     
Articles and books by Project members  are listed here alphabetically
by  lead  author.    Only  publications  following  the  individual's
affiliation with the Project are given.

.begin ref;
.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXCOL; NEXT EXREF; (EXREF&".  ") ⊃
⊗Agin, Gerald J., Thomas O. Binford, "Computer Description of
Curved Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Allen, John, David Luckham, "An Interactive Theorem-Proving Program"
in Bernard Meltzer and Donald Michie (eds.), <Machine Intelligence 5>,
Edinburgh University Press, 1970.

⊗Ashcroft, Edward, Zohar Manna, "Formalization of Properties of
Parallel Programs", <Machine Intelligence 6>, Edinburgh Univ. Press,
1971.

⊗Ashcroft, Edward, Zohar Manna, "The Translation of `Go To' Programs
to `While' Programs", <Proc. IFIP Congress 1971>.

⊗Ashcroft, Edward, Zohar Manna, Amir Pnueli, "Decidable Properties
of Monodic Functional Schemas", <J. ACM>, July 1973.

⊗Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
Third Int. Joint Conf. on Artificial Intelligence>, Stanford U.,
1973.

⊗Beauchamp, James, H. Von Foerster (eds.), <Music by Computers>,
John Wiley, New York, 1969.

⊗Becker, Joseph, "The Modeling of Simple Analogic and Inductive
Processes in a Semantic Memory System", <Proc. International Conf.
on Artificial Intelligence>, Washington, D.C., 1969.

⊗Biermann, Alan, Jerome Feldman, "On the Synthesis of
Finite-state Machines from Samples of Their Behavior", <IEEE
Transactions on Computers>, Vol. C-21, No. 6, pp. 592-596, June 1972.

⊗Biermann, Alan, "On the Inference of Turing Machines from Sample
Computations", <Artificial Intelligence J.>, Vol. 3, No. 3, Fall 1972.

⊗Binford, Thomas O., "Sensor Systems for Manipulation", in E.
Heer (Ed.), <Remotely Manned Systems>, Calif. Inst. of Technology,
1973.

⊗Binford, Thomas, Jay M. Tenenbaum, "Computer Vision",
<Computer (IEEE)>, May 1973.

⊗Bracci, Giampio, Marco Somalvico, "An Interactive Software System
for Computer-aided Design: An Application to Circuit Project", <Comm.
ACM>, September 1970.

⊗Brown, H., L. Masinter, "An Algorithm for the Construction of the Graphs
of Organic Molecules", <Discrete Mathematics>, (in press).

⊗Buchanan, Bruce, Georgia Sutherland, "Heuristic Dendral: A Program
for Generating Hypotheses in Organic Chemistry", in Donald Michie
(ed.), <Machine Intelligence 4>, American Elsevier, New York, 1969.

⊗Buchanan, Bruce, Georgia Sutherland, Edward Feigenbaum, "Rediscovering
some Problems of Artificial Intelligence in the Context of Organic
Chemistry", in Bernard Meltzer and Donald Michie (eds), <Machine
Intelligence 5>, Edinburgh University Press, 1970.

⊗Buchanan, Bruce, T. Headrick, "Some Speculation about Artificial
Intelligence and Legal Reasoning", <Stanford Law Review>, November
1970.

⊗Buchanan, Bruce, A. M. Duffield, A. V. Robertson, "An Application
of Artificial Intelligence to the Interpretation of Mass Spectra",
in <Mass Spectrometry Techniques and Appliances>, George W.
Milne (ed), John Wiley & Sons, 1971.

⊗Buchanan, Bruce, Edward Feigenbaum, Joshua Lederberg, "A
Heuristic Programming Study of Theory Formation in Science", <Proc.
Second International Joint Conference on Arificial Intelligence
(2IJCAI)>, British Computer Society, Sept. 1971.

⊗Buchanan, Bruce, Joshua Lederberg, "The Heuristic DENDRAL
Program for Explaining Empirical Data", <Proc. IFIP Congress 1971>.

⊗Buchanan, Bruce, E. A. Feigenbaum, and N. S. Sridharan, "Heuristic
Theory Formation: Data Interpretation and Rule Formation", in
<Machine Intelligence 7>, Edinburgh University Press, 1972.

⊗Buchanan, Bruce G., "Review of Hubert Dreyfus' `What Computers Can't
Do': A Critique of Artificial Reason", <Computing Reviews>, January
1973.

⊗Buchanan, Bruce, N. S. Sridharan, "Analysis of Behavior of
Chemical Molecules: Rule Formation on Non-Homogeneous Classes of
Objects", <Proceedings of the Third International Joint Conference on
Artificial Intelligence>, Stanford University, August 1973.

⊗Buchs, A., A. Delfino, A. Duffield, C. Djerassi, B. Buchanan, E.
Feigenbaum, J. Lederberg, "Applications of Artificial
Intelligence for Chemical Inference VI. Approach to a General
Method of Interpreting Low Resolution Mass Spectra with a Computer",
Helvetica Chemica Acta, 53:6, 1970.

⊗Buchs, A., A. Duffield, G. Schroll, Carl Djerassi, A.
Delfino, Bruce Buchanan, Georgia Sutherland, Edward Feigenbaum, Joshua
Lederberg, "Applications of Artificial Intelligence for Chemical
Inference IV. Saturated Amines Diagnosed by their Low Resolution
Mass Spectra and Nuclear Magnetic Resonance Spectra", <J. Amer.
Chem. Soc.>, 92:23, November 1970.

⊗Cadiou, Jean M., Zohar Manna, "Recursive Definitions of Partial
Functions and their Computations", <ACM SIGPLAN Notices>, Vol. 7, No.
1, January 1972.

⊗Campbell, John, "Algebraic Computation of Radiative Corrections for
Electron-Proton Scattering", <Nuclear Physics>, Vol. B1, pp.
238-300, 1967.

⊗Campbell, J. A., Anthony Hearn, "Symbolic Analysis of Feynman
Diagrams by Computer", <Journal of Computational Physics> 5,
280-327, 1970.

⊗Carhart, R., C. Djerassi, "Applications of Artificial Intelligence
for Chemical Inference XI:  The Analysis of C13 NMR Data for Structure
Elucidation of Acyclic Amines", <J. Chem. Soc.> (Perkin II), 1753, 1973.

⊗Cerf, Vinton G., R. E. Kahn, "A Protocol for Inter-network
Communications", <IEEE Trans. Communications>, May 1974.

⊗Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, "Networks and
Generalized Moore Graphs", <Proc. Manitoba Conf. on Numerical Math.,
1973>, (to appear).

⊗Cerf, V. G., D. Cowan, R. C. Mullin, R. G. Stanton, "Topological Design
Considerations in Computer-Communication Networks", in R. L. Grimsdale,
F. F. Kuo (eds.), <Computer Communication
Networks>, Academic Book Services Holland, Netherlands, 1974.

⊗Cerf, V., C. Sunshine, "Protocols and Gateways for Interconnection of
Packet Switching Networks", <Proc. 7th Hawaii International Conf. on
System Sciences>, Western Periodicals Co., Hawaii, 1974.

⊗Cerf, V. G., D. D. Cowan, R. C. Mullin, R. G. Stanton, "A Partial
Census of Generalized Moore Graphs", <Proc. Australian National
Combinitorics Conference>, May 1974 (to appear).

⊗Cerf, V. G., "An Assessment of ARPANET Protocols", <Proc. Jerusalem
Conf. on Information Technology>, July 1974.

⊗Chowning, John M., "The Simulation of Moving Sound Sources",
<Proc. Audio Engineering Soc. Convention>, May 1970.

⊗Chowning, John M., "The Synthesis of Complex Audio Spectra by means
of Frequency Modulation", <J. Audio Engineering Society>, September
1973.

⊗Churchman, C., Bruce Buchanan, "On the Design of Inductive
Systems: Some Philosophical Problems", <British Journal for the
Philosophy of Science>, 20, 1969, pp. 311-323.

⊗Colby, Kenneth, David Smith, "Dialogues between Humans and
Artificial Belief Systems", <Proc. International Conference on
Artificial Intelligence>, Washington, D.C., 1969.

⊗Colby, Kenneth, Larry Tesler, Horace Enea, "Experiments with
a Search Algorithm for the Data Base of a Human Belief System",
<Proc. International Conference on Artificial Intelligence>,
Washington, D.C., 1969.

⊗Colby, Kenneth Mark, "The Rationale for Computer-Based Treatment of
Language Difficulties in Nonspeaking Autistic Children", <Journal of
Autism and Childhood Schizophrenia>, Vol. 3, 254-260, 1970.

⊗Colby, Kenneth, "Mind and Brain Again", <Mathematical Biosciences>, Vol.
11, 47-52, 1970.

⊗Colby, Kenneth, Sylvia Weber, Franklin Hilf, "Artificial Paranoia",
<J. Art. Int.>, Vol. 2, No. 1, 1971.

⊗Colby, Kenneth, F. Hilf, S. Weber, H. C.
Kraemer, "Turing-like Indistinguishability Tests for the Validation
of a Computer Simulation of Paranoid Processes", <Artificial
Intelligence J.>, Vol. 3, No. 3, Fall 1972.

⊗Colby, Kenneth M., "The Rationale for Computer-based Treatment of
Language Difficulties in Nonspeaking Autistic Children", <Journal of
Autism and Childhood Schizophrenia>, Vol. 3, 254-260, 1973.

⊗Colby, Kenneth M., <Artificial Paranoia: A Computer Simulation of
the Paranoid Mode>, 1974.

⊗Dobrotin, Boris M., Victor D. Scheinman, "Design of a Computer
Controlled Manipulator for Robot Research", <Proc. Third Int. Joint
Conf. on Artificial Intelligence>, Stanford U., 1973.

⊗Duffield, Alan, A. Robertson, Carl Djerassi, Bruce Buchanan, G.
Sutherland, Edward Feigenbaum, Joshua Lederberg, "Application
of Artificial Intelligence for Chemical Interference II.
Interpretation of Low Resolution Mass Spectra of Ketones", <J. Amer.
Chem. Soc.>, 91:11, May 1969.

⊗Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
for Understanding Doctor-Patient Dialogues", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Falk, Gilbert, "Scene Analysis Based on Imperfect Edge Data", <Proc.
2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Falk, Gilbert, "Interpretation of Imperfect Line Data as a
Three-dimensional Scene", <Artificial Intelligence J.>, Vol. 3, No.
2, 1972.

⊗Feigenbaum, Edward, "Information Processing and Memory", in <Proc.
Fifth Berkeley Symposium on Mathematical Statistics and Probability>,
Vol. 4, U.C. Press, Berkeley, 1967.

⊗Feigenbaum, Edward, Joshua Lederberg, Bruce Buchanan, "Heuristic
Dendral", <Proc. International Conference on System Sciences>,
University of Hawaii and IEEE, University of Hawaii Press, 1968.

⊗Feigenbaum, Edward, "Artificial Intelligence: Themes in the Second
Decade", <Proc. IFIP Congress>, 1968.

⊗Feigenbaum, Edward, Bruce Buchanan, Joshua Lederberg, "On
Generality and Problem Solving: A Case Study using the DENDRAL
Program", <Machine Intelligence 6>, Edinburgh Univ. Press, 1971.

⊗Feldman, Jerome, D. Gries, "Translator Writing Systems",
<Comm. ACM>, February 1968.

⊗Feldman, Jerome, P. Rovner, "The Leap Language Data
Structure", <Proc. IFIP Congress>, 1968.

⊗Feldman, Jerome, "Machine Intelligence, review of Numbers I-III of
the Machine Intelligence series", <Information and Control>, 14,
490-492, 1969.

⊗Feldman, Jerome, "Towards Automatic Programming", <Preprints of
NATO Software Engineering Conference>, Rome, Italy, 1969.

⊗Feldman, Jerome, Paul Rovner, "An Algol-based Associative
Language", <Comm. ACM>, August 1969.

⊗Feldman, Jerome, Gary Feldman, G. Falk, Gunnar Grape, J. Pearlman,
I. Sobel, and J. Tenenbaum, "The Stanford Hand-Eye Project",
<Proc. International Conf. on Artificial Intelligence>, Washington,
D.C., 1969.

⊗Feldman, Jerome, "Getting a Computer to See Simple Scenes", <IEEE
Student Journal>, Sept. 1970.

⊗Feldman, Jerome, Alan Bierman, "A Survey of Grammatical
Inference", <Proc. International Congress on Pattern Recognition>,
Honolulu, January 1971, also in S, Watanbe (ed.), <Frontiers of
Pattern Recognition>, Academic Press, 1972.

⊗Feldman, Jerome, Robert Sproull, "System Support for the
Stanford Hand-eye System", <Proc. 2IJCAI>, Brit. Comp. Soc., Sept.
1971.

⊗Feldman, Jerome, et al, "The Use of Vision and Manipulation to
Solve the `Instant Insanity' Puzzle", <Proc. 2IJCAI>, Brit. Comp.
Soc., Sept. 1971.

⊗Feldman, Jerome, "Some Decidability Results on Grammatical
Inference and Complexity", <Information and Control>, Vol. 20, No.
3, pp. 244-262, April 1972.

⊗Feldman, Jerome, J. Low, D. Swinehart, R. Taylor,
"Recent Developments in SAIL, an ALGOL-based language for Artificial
Intelligence", <Proc. Fall Joint Computer Conference>, 1972.

⊗Feldman, Jerome A., James R. Low, "Comment on Brent's Scatter
Storage Algorithm", <Comm. ACM>, November 1973.

⊗Floyd, Robert, "Toward Interactive Design of Correct Programs",
<Proc. IFIP Congress 1971>.

⊗Garland, Stephan J., David Luckham, "Translating Recursive Schemes
into Program Schemes", <ACM SIGPLAN Notices>, Vol. 7, No. 1, January 1972.

⊗Garland, Stephan J., David C. Luckham, "Program Schemes,
Recursion Schemes, and Formal Languages", <J. Computer and System
Sciences>, Vol. 7, No. 2, April 1973.

⊗Gips, James, "A New Reversible Figure", <Perceptual & Motor
Skills>, 34, 306, 1972.

⊗Goodman, Joseph, "Digital Image Formation from Electronically
Detected Holograms", <Applied Physics Letters>, August 1967.

⊗Goodman, Joseph, "Digital Image Formation from Electronically
Detected Holograms", in <Proc. SPIE Seminar on Digital Imaging
Techniques>, Soc. Photo-Optical Instrumentation Engineering,
Redondo Beach, California, 1967.

⊗Gruen, Richard, William Weiher, "Rapid Program Generation", <Proc.
DECUS Symposium>, Fall 1968.

⊗Hearn, Anthony, "Computation of Algebraic Properties of Elementary
Particle Reactions Using a Digital Computer", <Comm. ACM>, 9, pp.
573-577, August, 1966.

⊗Hearn, Anthony, "REDUCE, A User-Oriented Interactive System for
Algebraic Simplification", <Proc. ACM Symposium on Interactive
Systems for Experimental Applied Mathematics>, August 1967.

⊗Hearn, Anthony, "The Problem of Substitution", <Proc. IBM Summer
Institute on Symbolic Mathematics by Computer>, July 1968.

⊗Hearn, Anthony, "Applications of Symbol Manipulation in
Theoretical Physics", <Comm. ACM>, August 1971.

⊗Hilf, Franklin, Kenneth Colby, David Smith, W. Wittner,
William Hall, "Machine-Mediated Interviewing", <J. Nervous & Mental
Disease>, Vol. 152, No. 4, 1971.

⊗Hilf, Franklin, "Non-Nonverbal Communication and Psychiatric
Research", <Archives of General Psychiatry>, Vol. 27, November 1972.

⊗Hilf, Franklin, "Partially Automated Psychiatric Research Tool",
<J. Nervous and Mental Disease>, Vol. 155, No. 6, December 1972.

⊗Hilf, Franklin, "Use of Computer Assistance in Enhancing Dialog Based
Social Welfare, Public Health, and Educational Services in Developing
Countries", <Proc. 2nd Jerusalem Conf. on Info. Technology>, July 1974.

⊗Hueckel, Manfred, "An Operator which Locates Edges in Digitized
Pictures", <JACM>, January 1971.

⊗Hueckel, Manfred H., "A Local Visual Operator which Recognizes
Edges and Lines", <J. ACM>, October 1973.

⊗Ito, T., "Note on a Class of Statistical Recognition Functions",
<IEEE Trans. Computers>, January 1969.

⊗Kahn, Michael, Bernard Roth, "The Near-minimum-time Control of Open-loop
Articulated Kinematic Chains", <Trans. ASME>, Sept. 1971.

⊗Kaplan, Donald, "Some Completeness Results in the Mathematical Theory
of Computation", <ACM Journal>, January 1968.

⊗Kaplan, Donald, "Regular Expressions and the Completeness of Programs",
<J. Comp. & System Sci.>, Vol. 3, No. 4, 1969.

⊗Katz, Shmuel, Zohar Manna, "A Heuristic Approach to Program
Verification", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Kieburtz, Richard B., David Luckham, "Compatibility and
Complexity of Refinements of the Resolution Principal", <SIAM J.
Comput.>, 1972.

⊗Kieburtz, Richard, David Luckham, "Compatability and Complexity of
Refinements of the Resolution Principle", <SIAM J. on Computing>,
1-4, 1973.

⊗Kling, Robert, "A Paradigm for Reasoning by Analogy", <Proc. 2IJCAI>,
Brit. Comp. Soc., Sept. 1971.

⊗Knuth, Donald E., <The Art of Computer Programming, Vol. 2,
Seminumerical Algorithms>, Addison-Wesley, Menlo Park, Calif., 1969.

⊗Knuth, Donald E., "An Empirical Study of FORTRAN Programs", <Software
-- Practice and Experience>, Vol. 1, 105-133, 1971.

⊗Knuth, Donald E., "Ancient Babylonian Algorithms", <Comm. ACM>, July
1972.

⊗Knuth, Donald E., <The Art of Computer Programming, Vol. 3, Sorting
and Searching>, Addison-Wesley, Menlo Park, Calif., 1973.

⊗Lederberg, Joshua, "Hamilton Circuits of Convex Trivalent Polyhedra",
<American Mathematical Monthly> 74, 522, May 1967.

⊗Lederberg, Joshua, Edward Feigenbaum, "Mechanization of
Inductive Inference in Organic Chemistry", in B. Kleinmuntz (ed.),
<Formal Representation of Human Judgment>, John Wiley, New York,
1968.

⊗Lederberg, Joshua, "Topology of Organic Molecules", National
Academy of Science, <The Mathematical Sciences: a Collection of
Essays>, MIT Press, Cambridge, 1969.

⊗Lederberg, Joshua, Georgia Sutherland, Bruce Buchanan, Edward
Feigenbaum, A. Robertson, A. Duffield, Carl Djerassi,
"Applications of Artificial Intelligence for Chemical Inference I.
The Number of Possible Organic Compounds: Acyclic Structures
Containing C, H, O, and N", <J. Amer. Chem. Soc.>, 91:11, May 1969.

⊗Lederberg, Joshua, Georgia Sutherland, Bruce Buchanan, Edward
Feigenbaum, "A Heuristic Program for Solving a Scientific Inference
Problem: Summary of Motivation and Implementation", in M. Mesarovic
(ed.), <Theoretical Approaches to Non-numerical Problem Solving>,
Springer-Verlag, New York, 1970.

⊗London, Ralph, "Correctness of a Compiler for a LISP Subset", <ACM
SIGPLAN Notices>, Vol. 7, No. 1, January 1972.

⊗Luckham, David, "Refinement Theorems in Resolution Theory", <Proc.
1968 IRIA Symposium in Automatic Deduction>, Versailles, France,
Springer-Verlag, 1970.

⊗Luckham, David, D. Park and M. Paterson, "On Formalised
Computer Programs", <J. Comp. & System Sci.>, Vol. 4, No. 3,
June 1970.

⊗Luckham, David, Nils Nilsson, "Extracting Information from
Resolution Proof Trees", <Artificial Intelligence Journal>, Vol. 2,
No. 1, pp. 27-54, June 1971.

⊗Luckham, David C., "Automatic Problem Solving", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Manna, Zohar, "Properties of Programs and the First Order
Predicate Calculus", <J. ACM>, Vol. 16, No. 2, April 1969.

⊗Manna, Zohar, "The Correctness of Programs", <J. System and
Computer Sciences>, Vol. 3, No. 2, May 1969.

⊗Manna, Zohar, John McCarthy, "Properties of Programs and
Partial Function Logic" in Bernard Meltzer and Donald Michie (eds.),
<Machine Intelligence 5>, Edinburgh University Press, 1970.

⊗Manna, Zohar, "The Correctness of Non-Deterministic Programs",
<Artificial Intelligence Journal>, Vol. 1, No. 1, 1970.

⊗Manna, Zohar, "Termination of Algorithms Represented as
Interpreted Graphs", <AFIPS Conference Proc. (SJCC)>, Vol. 36, 1970.

⊗Manna, Zohar, "Second-order Mathematical Theory of Computation",
<Proc. ACM Symposium on Theory of Computing>, May 1970.

⊗Manna, Zohar, Amir Pnueli, "Formalization of Properties of
Functional Programs", <J. ACM>, Vol. 17, No. 3, July 1970.

⊗Manna, Zohar, R. Waldinger, "Toward Automatic Program
Synthesis", <Comm. ACM>, March 1971.

⊗Manna, Zohar, "Mathematical Theory of Partial Correctness", <J.
Comp. & Sys. Sci.>, June 1971.

⊗Manna, Zohar, S. Ness, J. Vuillemin, "Inductive Methods for
Proving Properties of Programs", <ACM SIGPLAN Notices>, Vol. 7, No.
4, January 1972.

⊗Manna, Zohar, J. Vuillemin, "Fixpoint Approach to the Theory of
Computation", <Comm. ACM>, July 1972.

⊗Manna, Zohar, "Program Schemas", in <Currents in the Theory of
Computing> (A. V. Aho, Ed.), Prentice-Hall, Englewood Cliffs, N.
J., 1973.

⊗Manna, Zohar, Stephen Ness, Jean Vuillemin, "Inductive Methods for
Proving Properties of Programs", <Comm. ACM>, August 1973.

⊗Manna, Zohar, "Automatic Programming", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Manna, Zohar, <Introduction to Mathematical Theory of
Computation>, McGraw-Hill, New York, 1974.

⊗Masinter, L., N. S. Sridharan, R. Carhart, D. H. Smith, "Applications
of Artificial Intelligence for Chemical Inference XII:  Exhaustive
Generation of Cyclic and Acyclic Isomers", <J. Amer. Chem. Soc.>,
(to appear).

⊗Masinter, L., N. S. Sridharan, R. Carhart, D. H. Smith, "Applications
of Artificial Intelligence for Chemical Inference XIII:  An Algorithm
for Labelling Chemical Graphs", <J. Amer. Chem. Soc.>, (to appear).

⊗McCarthy, John, "Towards a Mathematical Theory of Computation", in
<Proc. IFIP Congress 62>, North-Holland, Amsterdam, 1963.

⊗McCarthy, John, "A Basis for a Mathematical Theory of Computation",
in P. Biaffort and D. Hershberg (eds.), <Computer Programming and
Formal Systems>, North-Holland, Amsterdam, 1963.

⊗McCarthy, John, S. Boilen, E. Fredkin, J.C.R. Licklider,
"A Time-Sharing Debugging System for a Small Computer", <Proc.
AFIPS Conf.> (SJCC), Vol. 23, 1963.

⊗McCarthy, John, F. Corbato, M. Daggett, "The Linking
Segment Subprogram Language and Linking Loader Programming
Languages", <Comm. ACM>, July 1963.

⊗McCarthy, John, "Problems in the Theory of Computation", <Proc. IFIP
Congress 1965>.

⊗McCarthy, John, "Time-Sharing Computer Systems", in W. Orr (ed.),
<Conversational Computers>, Wiley, 1966.

⊗McCarthy, John, "A Formal Description of a Subset of Algol", in T.
Steele (ed.), <Formal Language Description Languages for Computer
Programming>, North-Holland, Amsterdam, 1966.

⊗McCarthy, John, "Information", <Scientific American>, September
1966.

⊗McCarthy, John, "Computer Control of a Hand and Eye", in <Proc.
Third All-Union Conference on Automatic Control (Technical
Cybernetics)>, Nauka, Moscow, 1967 (Russian).

⊗McCarthy, John, D. Brian, G. Feldman, and J. Allen, "THOR -- A
Display Based Time-Sharing System", <Proc. AFIPS Conf.> (FJCC), Vol.
30, Thompson, Washington, D.C., 1967.

⊗McCarthy, John, James Painter, "Correctness of a Compiler for
Arithmetic Expressions", Amer. Math. Soc., <Proc. Symposia in
Applied Math., Math. Aspects of Computer Science>, New York, 1967.

⊗McCarthy, John, "Programs with Common Sense", in Marvin Minsky
(ed.), <Semantic Information Processing>, MIT Press, Cambridge, 1968.

⊗McCarthy, John, Lester Earnest, D. Raj. Reddy, Pierre Vicens, "A
Computer with Hands, Eyes, and Ears", <Proc. AFIPS Conf.> (FJCC),
1968.

⊗McCarthy, John, Patrick Hayes, "Some Philosophical Problems from the
Standpoint of Artificial Intelligence", in Donald Michie (ed.),
<Machine Intelligence 4>, American Elsevier, New York, 1969.

⊗McCarthy, John, "The Home Information Terminal", <Man and Computer,
Proc. Int. Conf., Bordeaux, 1970>, S. Karger, New York, 1972.

⊗Michie, D., Bruce G. Buchanan, "Current Status of the Heuristic DENDRAL
Program for Applying Artificial Intelligence to the Interpretation of
Mass Spectra", in R. A. G. Carrington (ed.), <Computers for Spectroscopy>,
Adam Hilger, London, (to appear).

⊗Milner, Robin, "An Algebraic Definition of Simulation between
Programs", <Proc. 2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Milner, Robin, "Implementatiion and Application of Scott's Logic
for Computable Functions", <ACM SIGPLAN NOTICES>, Vol. 7, No. 1, January 1972.

⊗Milner, Robin, Richard Weyhrauch, "Proving Compiler Correctness
in a Mechanized Logic", <Machine Intelligence 7>, Edinburgh
University Press, 1972.

⊗Montanari, Ugo, "Continuous Skeletons from Digitized Images",
<JACM>, October 1969.

⊗Montanari, Ugo, "A Note on Minimal Length Polygonal Approximation
to a Digitized Contour", <Comm. ACM>, January 1970.

⊗Montanari, Ugo, "On Limit Properties in Digitization Schemes",
<JACM>, April 1970.

⊗Montanari, Ugo, "Separable Graphs, Planar Graphs and Web
Grammars", <Information and Control>, May 1970.

⊗Montanari, Ugo, "Heuristically Guided Search and Chromosome
Matching", <J. Artificial Intelligence>, Vol. 1, No. 4, December
1970.

⊗Montanari, Ugo, "On the Optimal Detection of Curves in Noisy
Pictures", <Comm. ACM>, May 1971.

⊗Moorer, James A., "Dual Processing for the PDP-6/10", <Decuscope>,
Vol. 8, No. 3, 1969.

⊗Moorer, James A., "Music and Computer Composition", <Comm. ACM>,
January 1972.

⊗Nevatia, Ramakant, Thomas O. Binford, "Structured Descriptions
of Complex Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Nilsson, Nils, <Problem-solving Methods in Artificial
Intellegence>, McGraw-Hill, New York, 1971.

⊗Paul, Richard, G. Falk, Jerome Feldman, "The Computer
Representation of Simply Described Scenes", <Proc. 2nd Illinois
Graphics Conference>, Univ. Illinois, April 1969.

⊗Paul, Richard, Gilbert Falk, Jerome Feldman, "The Computer
Description of Simply Described Scenes", in <Pertinent Concepts in
Computer Graphics>, J. Neivergelt and M. Faiman (eds.), U.
Illinois Press, 1969.

⊗Paul, Richard, "Trajectory Control of a Computer Arm", <Proc.
2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Pingle, Karl, J. Singer, and W. Wichman, "Computer Control of a
Mechanical Arm through Visual Input", <Proc. IFIP Congress> 1968,
1968.

⊗Pingle, Karl, "Visual Perception by a Computer", <Automatic
Interpretation and Classification of Images>, Academic Press, New
York, 1970.

⊗Pingle, Karl, J. Tenenbaum, "An Accomodating Edge Follower",
<Proc. 2IJCAI>, Brit. Comp. Soc., Sept. 1971.

⊗Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
Sagan, "Mariner 9 Picture Differencing at Stanford", <Sky and
Telescope>, August 1973.

⊗Reddy, D. Raj., "Segmentation of Speech Sounds", <J. Acoust. Soc.
Amer.>, August 1966.

⊗Reddy, D. Raj., "Phoneme Grouping for Speech Recognition", <J. Acoust.
Soc. Amer.>, May 1967.

⊗Reddy, D. Raj., "Pitch Period Determination of Speech Sounds", <Comm.
ACM>, June 1967.

⊗Reddy, D. Raj., "Computer Recognition of Connected Speech", <J. Acoust.
Soc. Amer.>, August 1967.

⊗Reddy, D. Raj., "Computer Transcription of Phonemic Symbols", <J.
Acoust. Soc. Amer.>, August 1968.

⊗Reddy, D. Raj., "Consonantal Clustering and Connected Speech
Recognition", <Proc. Sixth International Congress on Acoustics>,
Vol. 2, pp. C-57 to C-60, Tokyo, 1968.

⊗Reddy, D. Raj., Ann Robinson, "Phoneme-to-Grapheme Translation of
English", <IEEE Trans. Audio and Electroacoustics>, June 1968.

⊗Reddy, D. Raj., Pierre Vicens, "Procedure for Segmentation of
Connected Speech", <J. Audio Eng. Soc.>, October 1968.

⊗Roth, Bernard, "Design, Kinematics, and Control of Computer-controlled
Manipulators", <Proc. 6th All Union Conference on New Problems in
Theory of Machines & Mechanics>, Leningrad, Jan. 1971.

⊗Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, J. Lederberg,
E. Levinthal, L. Quam, R. Tucker, J. Pollack, B. Smith,
"Variable Features on Mars:
Preliminary Mariner 9 Results", <Icarus>, 17, 346-372, 1972.

⊗Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, R. French, P. Gierasch, L. Quam, J. Lederberg,
E. Levinthal, R. Tucker, B. Eross, J. Pollack,
"Variable Features on Mars 2.
Mariner 9 Global Results", <J. Geophys. Res.>, 78, 4163-4196, 1973.

⊗Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross,
"Variable Features on Mars III:  Comparison of Mariner 1969 and Mariner 1971
Photography", <Icarus>, 21, 317-368, 1974.

⊗Samuel, Arthur, "Studies in Machine Learning Using the Game of
Checkers, II-Recent Progress", <IBM Journal>, November 1967.

⊗Schank, Roger, Larry Tesler, "A Conceptual Parser for Natural
Language", <Proc. International Joint Conference on Artificial
Intelligence>, Washington, D.C., 1969.

⊗Schank, Roger, "Finding the Conceptual Content and Intention in an
Utterance in Natural Language Conversation", <Proc. 2IJCAI>, Brit.
Comp. Soc., 1971.

⊗Schank, Roger, "Conceptual Dependency: a Theory of Natural Language
Understanding", <Cognitive Psychology>, Vol 3, No. 4, 1972.

⊗Schank, Roger C., Neil M. Goldman, "Theoretical Considerations in
Text Processing", <Conf. Proc. Computer Text Processing and Scientific
Research (1972)>, O.N.R., Pasadena, Calif., March 1973.

⊗Schank, Roger C., Neil Goldman, Charles J. Rieger III, Chris
Riesbeck, "MARGIE: Memory, Analysis, Response Generation and
Inference on English", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Schank, Roger C., Kenneth Colby (eds), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Schroll, G., A. Duffield, Carl Djerassi, Bruce Buchanan, G.
Sutherland, Edward Feigenbaum, Joshua Lederberg, "Applications
of Artificial Intelligence for Chemical Inference III. Aliphatic
Ethers Diagnosed by Their Low Resolution Mass Spectra and NMR Data",
<J. Amer. Chem. Soc.>, 91:26, December 1969.

⊗Sheikh, Y., A. Buchs, A Delfino, Bruce Buchanan, G. Sutherland,
Joshua Lederberg, "Applications of Artificial Intelligence for
Chemical Inference V. An Approach to the Computer Generation of
Cyclic Structures. Differentiation Between All the Possible
Isometric Ketones of Composition C6H10O", <Organic Mass
Spectrometry>, Vol. 4 pp.493-501, 1970.

⊗Shortliffe, E. H., S. G. Axline, B. G. Buchanan, T. C. Merigan,
S. N. Cohen, "An Artificial Intelligence Program to Advise Physicians
Regarding Antimicrobial Therapy", <Computers and Biomedical Research 6>,
544-560, 1973.

⊗Shortliffe, E. H., S. G. Axline, B. G. Buchanan, S. N. Cohen, "Design
Consultations in Clinical Therapudics", <Proc. Biomedical Symposium>,
San Diego, February 1974.

⊗Silvestri, Anthony, Joseph Goodman, "Digital Reconstruction of
Holographic Images", 1968 NEREM Record, IEEE, Vol. 10, pp.
118-119. 1968.

⊗Slagle, James, Carl Farrell, "Experiments in Automatic Learning
for a Multiputpose Heuristic Program", <Comm. ACM>, February 1971.

⊗Smith, D. H., B. G. Buchanan, R. S. Engelmore, A. M. Duffield, A. Yeo,
E. A. Feigenbaum, J. Lederberg, C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference VIII.  An approach to
the Computer Interpretation of the High Resolution Mass Spectra of
Complex Molecules. Structure Elucidation of Estrogenic Steroids",
<Journal of the American Chemical Society>, 94, 5962-5971, 1972.

⊗Smith, D. H., B. G. Buchanan, R. S. Engelmore, H. Aldercruetz,
C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference IX.  Analysis of
Mixtures without Prior Separation as Illustrated for Estrogens",
<J. American Chem. Soc.>, Vol. 95, No. 18, page 6078, 1973.

⊗Smith, D. H., B. G. Buchanan, W. C. White,
E. A. Feigenbaum, J. Lederberg, C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference X.  Intsum.  A Data
Interpretation Program as Applied to the Collected Mass Spectra
of Estrogenic Steroids", <Tetrahedron>, Vol. 29, page 3117, 1973.

⊗Smith, D. H., L. M. Masinter, N. S. Sridharan, "Heuristic DENDRAL:
Analysis of Molecular Structure", <Proc. NATO/CNNA Advanced Study
Institute on Computer Representation and Manipulation of Chemical
Information>, John Wiley and Sons, 1974.

⊗Smith, David Canfield, Horace J. Enea, "Backtracking in
MLISP2", <Proceedings of the Third International Joint Conference on
Artificial Intelligence>, Stanford University, August 1973.

⊗Smith, Leland, "SCORE -- A Musician's Approach to Computer Music",
<J. Audio Eng. Soc.>, Jan./Feb. 1972.

⊗Smith, Leland, "Editing and Printing Music by Computer", <J. Music
Theory>, Fall 1973.

⊗Sobel, Irwin, "On Calibrating Computer Controlled Cameras for
Perceiving 3-D Scenes", <Proc. Third Int. Joint Conf. on Artificial
Intelligence>, Stanford U., 1973.

⊗Sridharan, N., "Search Strategies for the Task of Organic Chemical
Synthesis", <Proceedings of the Third International Joint Conference
on Artificial Intelligence>, Stanford University, August 1973.

⊗Sullivan, S. Brodsky and J., "W-Boson Contribution to the
Anomalous Magnetic Moment of the Muon", <Phys Rev> 156, 1644, 1967.

⊗Sutherland, Georgia, G. W. Evans, G. F.Wallace, <Simulation
Using Digital Computers>, Prentice-Hall, Engelwood Cliffs, N.J.,
1967.

⊗Tenenbaum, Jay, et al, "A Laboratory for Hand-eye Research",
<Proc. IFIP Congress>, 1971.

⊗Tesler, Larry, Horace Enea, Kenneth Colby, "A Directed Graph
Representation for Computer Simulation of Belief Systems", <Math.
Bio.> 2, 1968.

⊗Tesler, Lawrence G., Horace J. Enea, David C. Smith, "The
LISP70 Pattern Matching System", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Waterman, Donald, "Generalization Learning Techniques for Automating
the Learning of Heuristics", <J. Artificial Intelligence>, Vol. 1,
No. 1/2.

⊗Weyhrauch, Richard, Robin Milner, "Program Semantics and
Correctness in a Mechanized Logic", <Proc. USA-Japan Computer
Conference>, Tokyo, 1972.

⊗Wilks, Yorick, "Decidability and Natural Language", <Mind>, Vol. LXXX,
No. 320, October 1971.

⊗Wilks, Yorick, <Grammar, Meaning, and the Machine Analysis of Language>,
Routledge, Boston, 1972.

⊗Wilks, Yorick, "Semantic Considerations in
Text Processing", <Conf. Proc. Computer Text Processing and Scientific
Research (1972)>, O.N.R., Pasadena, Calif., March 1973.

⊗Wilks, Yorick, "The Stanford Machine Translation and Understanding
Project", in Rustin (ed.) <Natural Language Processing>, New York,
1973.

⊗Wilks, Yorick, "Understanding Without Proofs", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Wilks, Yorick, Annette Herskovits, "An Intelligent Analyser and
Generator of Natural Language", <Proc. Int. Conf. on Computational
Linguistics>, Pisa, Italy, <Proceedings of the Third Internation
Joint Conference on Artificial Intelligence>, Stanford University,
August 1973.

⊗Wilks, Yorick, "The Computer Analysis of Philosophical Arguments",
<CIRPHO>, Vol. 1, No. 1, September 1973

⊗Wilks, Yorick, "An Artificial Intelligence Approach to Machine
Translation",
in Schank and Colby (eds.), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Wilks, Yorick, "One Small Head -- Models and Theories in Linguistics",
<Foundations of Language>, Vol. 10, No. 1, January 1974.

⊗Wilks, Yorick, "Preference Semantics", E. Keenan (ed.), <Proc. 1973
Colloquium on Formal Semantics of Natural Language>, Cambridge, U.K.,
1974.

⊗Winograd, Terry, "A Process Model of Language Understanding", 
in Schank and Colby (eds.), <Computer Models of Thought and Language>,
W. H. Freeman, San Francisco, 1973.

⊗Winograd, Terry, "The Processes of Language Understanding" in
Benthall, (ed.), <The Limits of Human Nature>, Allen Lane, London, 1973.

⊗Winograd, Terry, "Language and the Nature of Intelligence," in G.J. Dalenoort (ed.),
<Process Models for Psychology>, Rotterdam Univ. Press, 1973

⊗Winograd, Terry, "Breaking the Complexity Barrier (again)", <Proc.
SIGPLAN-SIGIR Interface Meeting>, 1973.

⊗Winograd, Terry, "Computers and Language", <Psychology Today>, May 1974.

⊗Winograd, Terry, "Parsing Natural Language via Recursive Transition Net",
in Yeh (ed.) <Applied Computation Theory>, Prentice-Hall, 1974.

⊗Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
Decision Theoretic Region Analyzer", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

.end